This easy-to-follow text provides an accessible introduction to the key topics of formal languages and abstract machines ...
Lire la suiteIn The Uses of Argument Stephen Toulmin proposed a new model for the layout of arguments, with six components: claim, data, ...
Lire la suiteIn this book, Walton presents his perspective on argumentation methods for artificial intelligence and law. … the different ...
Lire la suiteArgumentative Indicators: A Pragma-Dialectical Study identifies and analyses English words and expressions that are crucial ...
Lire la suiteThis book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...
Lire la suiteThis book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...
Lire la suiteThis book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
Lire la suiteThis two-volume textbook Comprehensive Mathematics for Computer Scientists is a self-contained comprehensive presentation ...
Lire la suiteThis book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, ...
Lire la suiteThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Lire la suiteThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Lire la suiteThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Lire la suiteThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Lire la suiteThis open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Lire la suiteThis open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Lire la suiteThis volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...
Lire la suiteThe volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
Lire la suiteThis book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, ...
Lire la suiteThis book constitutes the refereed proceedings of the 11th International Conference on the Theory and Application of Diagrams, ...
Lire la suiteThis vivid and thought-provoking book by the Israeli logician Nimrod Bar-Am impels one to rethink the place of logic in Western ...
Lire la suite